Operational semantics - PDFSEARCH.IO - Document Search Engine

Operational semantics
Results: 199

#	Item
141	Procedural Semantics for a Modal Type System Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-07-22 05:24:16 Logic Proof theory Programming language semantics Curry–Howard correspondence Philosophy of computer science Type theory Operational semantics Programming language Interpretation Theoretical computer science Logic in computer science Mathematical logic
142	An Operational Semantics for Parallel Lazy Evaluation Clem Baker-Finch David J. King Phil Trinder Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2009-06-05 07:05:20 Heap Monad Computing
143	Technical Report UCAM-CL-TR-860 ISSN[removed]Number 860 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-10-27 06:21:45 Programming language semantics Applied mathematics Models of computation Denotational semantics Programming paradigms Abstraction Programming language Domain theory Operational semantics Theoretical computer science Logic in computer science Mathematics
144	194 Department of Computer and Information Science, Linköping University[removed]Generation of Efficient Compilers and Interpreters from Natural Semantics Specifications Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2003-05-18 19:21:52 Computing Programming language semantics Formal methods Denotational semantics Operational semantics Semantics of programming languages Programming language Prolog Compiler-compiler Theoretical computer science Software engineering Logic in computer science
145	Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded ∗ Systems Edward A. Lee Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2013-12-17 02:12:08 Models of computation Logic in computer science Programming language semantics Concurrency Concurrent computing Denotational semantics Actor model Operational semantics SIGNAL Theoretical computer science Computing Software engineering
146	Operational Semantics of UML Activity Diagram: An Application in Project Management Eugene Syriani Department of Computer Science Add to Reading List Source URL: hergin.students.cs.ua.edu Language: English - Date: 2012-07-26 13:45:07 Software engineering Data modeling Software development Systems Modeling Language ISO standards Petri net Finite-state machine Action Activity diagram Unified Modeling Language Diagrams Models of computation
147	An Operational Semantics for Network Datalog Vivek Nigam1 , Limin Jia2 , Anduo Wang1 , Boon Thau Loo1 , Andre Scedrov1 1 University of Pennsylvania, Philadelphia, USA Carnegie Mellon University, Pittsburgh, USA Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Data management Programming paradigms Datalog Logic programming Predicate Algorithm SQL FO Query languages Computing Software engineering
148	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:22:48 Mathematics Formal methods Formal languages Programming language semantics Memory barrier Abstract interpretation Operational semantics Abstraction Formal verification Theoretical computer science Logic in computer science Applied mathematics
149	Journal of Functional Programming http://journals.cambridge.org/JFP Additional services for Journal of Functional Programming: Email alerts: Click here Subscriptions: Click here Commercial reprints: Click Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2013-03-29 19:34:46 Computer science Logic in computer science Programming language semantics Computability theory Formal methods Operational semantics Lambda calculus Denotational semantics Abstract interpretation Theoretical computer science Models of computation Applied mathematics
150	PhD Dissertation International Doctorate School in Information and Communication Technologies DISI - University of Trento Add to Reading List Source URL: eprints-phd.biblio.unitn.it Language: English - Date: 2012-03-26 15:30:41 Programming language semantics Theoretical computer science Functions and mappings Markov chain Scow Operational semantics Algorithm Continuous function Function Mathematics Applied mathematics Logic in computer science

UPDATE